Issue610-module-alias-with.agda:29,11-30
ack (set _) !=< ⊥
when checking that the expression subst (λ x → x) q _ has type ⊥
